Vaughan Pratt - PDFSEARCH.IO - Document Search Engine

Vaughan Pratt
Results: 47

#	Item
31	Chu Spaces Vaughan Pratt Stanford University Notes for the School on Category Theory and Applications University of Coimbra Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2004-12-15 21:06:50 Algebraic structures Category theory Mathematical structures Order theory Model theory Chu space Semilattice Continuous function Structure Mathematics Algebra Abstract algebra
32	Chu spaces: Complementarity and Uncertainty in Rational Mechanics Vaughan Pratt∗ Dept. of Computer Science Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2004-02-21 12:17:27 Algebraic structures Order theory Topology Lattice theory Abstract algebra Chu space Boolean algebra Finite topological space Filter Mathematics Algebra Structure
33	To appear in Math. Struct. in Comp. Science Higher Dimensional Automata Revisited VAUGHAN PRATT Department of Computer Science, Stanford University, Stanford, CA[removed] Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:06:16 Order theory Structure Abstraction Lattice theory Chu space Lattice Distributive lattice Distributivity Finite-state machine Mathematics Automata theory Models of computation
34	Event Spaces and Their Linear Logic Vaughan Pratt Computer Sci. Dept., Stanford, CA 94305, USA [removed] April 25, 1991 Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-08 11:05:21 Order theory Algebraic structures Mathematical structures Lattice theory Lattice Ideal Partially ordered set Boolean algebra Vector space Mathematics Algebra Abstract algebra
35	Chu spaces as a semantic bridge between linear logic and mathematics Vaughan Pratt ∗ Dept. of Computer Science Stanford University Stanford, CA[removed] Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2004-07-27 11:43:04 Category theory Model theory Order theory Monoidal categories Chu space Cartesian closed category Functor Adjoint functors Denotational semantics Mathematics Algebra Abstract algebra
36	Orthocurrence as both Interaction and Observation Vaughan R. Pratt Stanford University and Tiqit Computers January 9, 2005 Abstract Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:06:07 Abstract algebra Mathematical structures Topology Multilinear algebra Tensor Vector space Chu space Bilinear map Cartesian closed category Algebra Mathematics Linear algebra
37	Event-State Duality: The Enriched Case Vaughan R. Pratt Stanford University, Stanford CA 94305, USA [removed] http://boole.stanford.edu/pratt.html Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:06:02 Category theory Mathematical structures Algebraic structures Monoidal categories Chu space Enriched category Monoid Functor Category Algebra Mathematics Abstract algebra
38	In Math. Struct. in Comp. Science, 13:4, [removed], August[removed]Transition and Cancellation in Concurrency and Branching Time Vaughan R. Pratt Stanford University Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2006-11-01 13:39:49 Mathematics Category theory Formal languages Theoretical computer science Concurrency Petri net Actor model Monoid Parallel computing Automata theory Abstract algebra Models of computation
39	CURRICULUM VITAE Vaughan R. Pratt November 23, 2011 Education: B.Sc.(hons), April 1967 Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2011-11-23 18:18:53 Action algebra Algebraic logic Theoretical computer science Actor model Logic programming Lecture Notes in Computer Science Academia Logic Formal sciences Mathematics Science
40	Linear process algebra LPA Vaughan Pratt Stanford University ICDCIT 2011 Bhubaneswar, Orissa, India Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2011-02-20 14:08:46 Linear algebra Mathematical structures Algebraic structures Bhubaneswar Denotational semantics Linear map Vector space Matrix Algebra Mathematics Abstract algebra

UPDATE